12 research outputs found
La concepción intuicionista de la lógica
Get PDFA menudo se ha estudiado la lógica como una ciencia puramente formal, donde no se tiene en cuenta el sentido de las nociones lógicas, sino solamente sus propiedades formales. En este caso no se trata de ver si una proposición es verdadera o falsa, sino solamente de indagar las condiciones formales según las cuales se puede deducir una proposición a partir de otras proposiciones.
Sin embargo, cuando se va a aplicar la lógica, se debe esclarecer la cuestión de la significación de la palabra "verdadero" y de los otros términos lógicos, y se llega entonces a enunciados como el siguiente: "Una proposición es verdadera si el estado de cosas que ella expresa existe en el mundo real".
La definición varía según el punto de vista del filósofo, pero ella presupone siempre una concepción de lo real; esto quiere decir que la lógica necesita, para su interpretación, de una ontología.
(Párrafo extraído del texto a modo de resumen)Departamento de Filosofí
La concepción intuicionista de la lógica
Get PDFA menudo se ha estudiado la lógica como una ciencia puramente formal, donde no se tiene en cuenta el sentido de las nociones lógicas, sino solamente sus propiedades formales. En este caso no se trata de ver si una proposición es verdadera o falsa, sino solamente de indagar las condiciones formales según las cuales se puede deducir una proposición a partir de otras proposiciones.
Sin embargo, cuando se va a aplicar la lógica, se debe esclarecer la cuestión de la significación de la palabra "verdadero" y de los otros términos lógicos, y se llega entonces a enunciados como el siguiente: "Una proposición es verdadera si el estado de cosas que ella expresa existe en el mundo real".
La definición varía según el punto de vista del filósofo, pero ella presupone siempre una concepción de lo real; esto quiere decir que la lógica necesita, para su interpretación, de una ontología.
(Párrafo extraído del texto a modo de resumen)Departamento de Filosofí
Noncomparabilities & Non Standard Logics
Get PDFMany normative theories set forth in the welfare economics, distributive justice and cognate literatures posit noncomparabilities or incommensurabilities between magnitudes of various kinds. In some cases these gaps are predicated on metaphysical claims, in others upon epistemic claims, and in still others upon political-moral claims. I show that in all such cases they are best given formal expression in nonstandard logics that reject bivalence, excluded middle, or both. I do so by reference to an illustrative case study: a contradiction known to beset John Rawls\u27s selection and characterization of primary goods as the proper distribuendum in any distributively just society. The contradiction is avoided only by reformulating Rawls\u27s claims in a nonstandard form, which form happens also to cohere quite attractively with Rawls\u27s intuitive argumentation on behalf of his claims
